AttributeConflict.agda:4,3-3
AttributeConflict.agda:4,3: Conflicting attributes: 0 ω
<EOF><ERROR>
...
